acttype($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}V(${\it es}$)(loc($e$),act($e$))